DEF=../boundary-cells-test
EXT=a
TESTDIR=..
RESULTDIR=.

KOMPILE_FLAGS=--syntax-module BOUNDARY-CELLS-TEST
KOMPILE_BACKEND?=haskell

KPROVE_FLAGS=

include ../../../../include/kframework/ktest.mak
